A Hybrid Approach for Business Process Verification
نویسندگان
چکیده
Business Process Verification (BPV) works as one of the important functions in the emerging Business Process Management Systems. Current proposed approaches are not yet well applied because of the gap between formal models defined in the academia and informal models used in the industry. This paper attempts to propose a hybrid approach to solve this problem. XPDL will be used to describe business processes and Situation Calculus will be employed as the formalism to perform the function of BPV. A typical order fulfillment process is exemplified to illustrate the approach and the demonstration system implements the automatic transformation from the XPDL-defined process and performs the logical verification.
منابع مشابه
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previous research and informal models used in the industry prevents these approaches from large-scale industrial applications. This paper proposes a hybrid approach to bridge the gap between XPDL and Situation Calculus. XP...
متن کاملVerification of unemployment benefits’ claims using Classifier Combination method
Unemployment insurance is one of the most popular insurance types in the modern world. The Social Security Organization is responsible for checking the unemployment benefits of individuals supported by unemployment insurance. Hand-crafted evaluation of unemployment claims requires a big deal of time and money. Data mining and machine learning as two efficient tools for data analysis can assist ...
متن کاملA hybrid multicriteria approach for performance evaluation: the case of a holding company
In today’s competitive business situation, performance evaluation of firms is an extremely important concern of all the people who are typically stakeholders of the business game. In case of holding companies, this is a more important issue since the parent firm must permanently control the situation of its subsidiaries in their sectors to make appropriate investment decisions. This paper...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملDetermining Effective Features for Face Detection Using a Hybrid Feature Approach
Detecting faces in cluttered backgrounds and real world has remained as an unsolved problem yet. In this paper, by using composition of some kind of independent features and one of the most common appearance based approaches, and multilayered perceptron (MLP) neural networks, not only some questions have been answered, but also the designed system achieved better performance rather than the pre...
متن کامل